[HOL89 2-SAT~btv]
(2009-01-27)|Eutelsat W3A at 7°E:
HOL89 2-SAT~btv 11106 H 6666 7/8 More #